Complexity classification in qualitative temporal constraint reasoning
نویسندگان
چکیده
منابع مشابه
A Multi - agent Based Architecture to Qualitative Temporal Constraint Reasoning
Qualitative Reasoning (Q.R) is an inferring technique using a qualitative model to derive new qualitative knowledge. It’s closer to human reasoning and offers the advantage to coping with incomplete information and allows to predict the studied system’s behaviour. So, the main benefit of Q.R is that it is possible to provide an approximate solution to a given real world problem when all detaile...
متن کاملH-Complexity Metric for Qualitative Spatial and Temporal Reasoning Applications
Commonsense reasoning, in particular qualitative spatial and temporal reasoning (QSTR), provides flexible and intuitive methods for reasoning about vague and uncertain information including temporal duration and ordering, and spatial orientation, topology and distance. Despite significant theoretical advances in QSTR, there is a distinct absence of applications that employ these methods. The ce...
متن کاملNogoods in Qualitative Constraint-Based Reasoning
The prevalent method of increasing reasoning efficiency in the domain of qualitative constraint-based spatial and temporal reasoning is to use domain splitting based on so-called tractable subclasses. In this paper we analyze the application of nogood learning with restarts in combination with domain splitting. Previous results on nogood recording in the constraint satisfaction field feature le...
متن کاملCombining binary constraint networks in qualitative reasoning
Constraint networks in qualitative spatial and temporal reasoning are always complete graphs. When one adds an extra element to a given network, previously unknown constraints are derived by intersections and compositions of other constraints, and this may introduce inconsistency to the overall network. Likewise, when combining two consistent networks that share a common part, the combined netw...
متن کاملTemporal Constraint Reasoning With Preferences
A number of reasoning problems involving the manipulation of temporal information can be viewed as implicitly inducing an ordering of decisions involving time (associated with durations or orderings of events) on the basis of preferences. For example, a pair of events might be constrained to occur in a certain order, and, in addition, it might be preferable that the delay between them be as lar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2004
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.05.010